2

An algorithm for the selection problem

Year:
1986
Language:
english
File:
PDF, 217 KB
english, 1986
3

Program development by inductive stepwise refinement

Year:
1985
Language:
english
File:
PDF, 1.30 MB
english, 1985
4

Forced termination of loops

Year:
1985
Language:
english
File:
PDF, 551 KB
english, 1985
8

Optimum scaling of mass spectra for computer-matching

Year:
1979
Language:
english
File:
PDF, 629 KB
english, 1979
9

Architecture Normalization for Component-based Systems

Year:
2006
Language:
english
File:
PDF, 450 KB
english, 2006
11

Simple index for classifying mass spectra with applications to fast library searching

Year:
1976
Language:
english
File:
PDF, 741 KB
english, 1976
12

Calculation of elemental compositions from high resolution mass spectral data

Year:
1980
Language:
english
File:
PDF, 596 KB
english, 1980
13

Exploiting partial order with Quicksort

Year:
1984
Language:
english
File:
PDF, 537 KB
english, 1984
17

The co-invariant generator: An aid in deriving loop bodies

Year:
1996
Language:
english
File:
PDF, 991 KB
english, 1996
20

Fast string searching by finding subkeys in subtext

Year:
1980
Language:
english
File:
PDF, 445 KB
english, 1980
22

Mass spectrum dictionary for library searching

Year:
1979
Language:
english
File:
PDF, 554 KB
english, 1979
24

A Linked-Path Connection Table with Substructural Atom-Ordering

Year:
1979
Language:
english
File:
PDF, 569 KB
english, 1979